Reasoning with Conditionals in Artificial Intelligence
نویسنده
چکیده
Conditionals of one kind or another are the dominant form of knowledge representation in Artificial Intelligence. However, despite the fact that they play a key role in such different formalisms as production systems and logic programming, there has been little effort made to study the relationships between these different kinds of conditionals. In this paper I present a framework that attempts to unify the two kinds of conditionals and discuss its potential application to the modelling of human reasoning.
منابع مشابه
A Theory of Conditionals Based on Hierarchies of Situations
We present an approach to the semantics of subjunctive conditionals based on the situation semantics notion of a constraint, in which the connection between antecedent A and consequent B of a conditional ‘if A were the case, B would be’ is an informational relation between types of situations. We also argue that the information contained in a hierarchy of planning schemas as commonly used in Ar...
متن کاملEffects of Fact Mutability in the Interpretation of Counterfactuals
This paper explores the relationship between fact mutability, intervention and human evaluation of counterfactual conditionals. Two experiments are reported that show the effects of causal strength and causal distance on fact mutability and intervention. Subjects’ answers are compared to the predictions of three models of counterfactual reasoning in Artificial Intelligence. This comparison demo...
متن کاملComprehension of factual, nonfactual, and counterfactual conditionals by Iranian EFL learners
A considerable amount of studies have been established on conditional reasoning supporting mental model theory of propositional reasoning. Mental model theory proposed by Johnson- larid and Byrne is an explanation of someone's thought process about how something occurs in the real world. Conditional reasoning as a kind of reasoning is the way to speak about possibilities or probabilities. The a...
متن کاملA logically sound method for uncertain
Conditionals play a central part in knowledge representation and reasoning. Describing certain relationships between antecedents and consequences by \if{then{sentences" their range of expressiveness includes commonsense knowledge as well as scientiic statements. In this paper, we present the principles of maximum entropy resp. of minimum cross-entropy (ME-principles) as a logically sound and pr...
متن کاملDiagrammatic Representation as a Tool for Clarifying Logical Arguments
Knowledge representation of reasoning processes is a central notion in the field of artificial intelligence, especially for knowledge-based agents, because such representation facilitates knowledge of action outcomes necessary for optimum performance by problem-solving agents in complex situations. Logic is the primary vehicle by which knowledge is represented in knowledge-based agents. It invo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007